3

Completeness of intermediate logics with doubly negated axioms

Year:
2014
Language:
english
File:
PDF, 163 KB
english, 2014
23

Reduction of provability logics to Σ 1 -provability logics

Year:
2015
Language:
english
File:
PDF, 83 KB
english, 2015